Fusing Logic and Control with Local Transformations
نویسندگان
چکیده
منابع مشابه
Fusing Logic and Control with Local Transformations: An Example Optimization
Abstract programming supports the separation of logical concerns from issues of control in program construction. While this separation of concerns leads to reduced code size and increased reusability of code, its main disadvantage is the computational overhead it incurs. Fusion techniques can be used to combine the reusability of abstract programs with the efficiency of specialized programs.pro...
متن کاملStrategies for Fusing Logic and Control via Local, Application-Specific Transformations
Abstract programming supports the separation of logical concerns from issues of control in program construction. While this separation of concerns leads to reduced code size and increased reusability of code, its main disadvantage is the computational overhead it incurs. Fusion techniques can be used to combine the reusability of abstract programs with the efficiency of specialized programs. St...
متن کاملLogic Synthesis Through Local Transformations
A logic designer today faces a growing number of design requirements and technology restrictions, brought about by increases in circuit density and processor complexity. At the same time, the cost of engineering changes has made the correctness of chip implementations more important, and minimization of circuit count less so. These factors underscore the need for increased automation of logic d...
متن کاملTransformations and Local Correlators
We reconsider the earlier found solutions of the Knizhnik-Zamolodchikov (KZ) equations describing correlators based on the admissible representations of A (1) 1 . Exploiting a symmetry of the KZ equations we show that the original infinite sums representing the 4-point chiral correlators can be effectively summed up. Using these simplified expressions with proper choices of the contours we dete...
متن کاملLOT: Logic Optimization with Testability. New transformations for logic synthesis
A new approach to optimize multilevel logic circuits is introduced. Given a multilevel circuit, the synthesis method optimizes its area while simultaneously enhancing its random pattern testability. The method is based on structural transformations at the gate level. New transformations involving EX-OR gates as well as Reed–Muller expansions have been introduced in the synthesis of multilevel c...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Electronic Notes in Theoretical Computer Science
سال: 2001
ISSN: 1571-0661
DOI: 10.1016/s1571-0661(04)00271-3